1. Alan Turing :
المؤلف: edited by S. Barry Cooper and Jan van Leeuwen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
2. Alan Turing: His Work and Impact
المؤلف: / Cooper, S. Barry
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Alan Turing : his work and impact
المؤلف: Cooper, S. B. )S. Barry(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
4. Alan Turing : his work and impact
المؤلف: Cooper, S. Barry, 3491-
المکتبة: (طهران)
موضوع: ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
5. Computability in context :
المؤلف: editors, S. Barry Cooper, Andrea Sorbi
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
رده :
QA9
.
59
.
C655
2011
6. Computability theory
پدیدآورنده : Cooper, S. Barry
موضوع : ، Computable functions
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. Computability theory
المؤلف: Cooper, S. Barry, 3491-
المکتبة: (طهران)
موضوع: ، Computable functions
رده :
QA
9
.
59
.
C66C6
8. Computability theory
المؤلف: Cooper, S. B.S. Barry(
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Computable functions
رده :
QA
9
.
59
.
C68
2004
9. Logic Colloquium 2006
المؤلف: edited by S. Barry Cooper, ... ]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
32
10. New computational paradigms :
المؤلف: / S. Barry Cooper, Benedikt L?we, Andrea Sorbi, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computable functions
رده :
E-BOOK
11. New computational paradigms
المؤلف: / S. Barry Cooper, Benedikt L?�we, Leen Torenvliet (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computable functions--Congresses
رده :
QA
,
9
.
59
,.
C67
,
2005
12. New computational paradigms
المؤلف: / S. Barry Cooper, Benedikt Leowe, Andrea Sorbi, editors
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computable functions.
رده :
QA
,
9
.
59
,.
N495
,
2008
13. New computational paradigms : First Conference on Computability in Europe, CIE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings
المؤلف: S. Barry Cooper, Benedikt Loewe, Leen Torenvliet )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computable functions
رده :
QA
76
.
L28
Vol
.
3526
14. New computational paradigms : changing conceptions of what is computable
المؤلف: S. Barry Cooper, Benedikt Lowe, Andrea Sorbi, editors
المکتبة: (طهران)
موضوع: ، Computable functions
رده :
QA
9
.
59
.
N492
15. The incomputable : journeys beyond the Turing barrier
المؤلف: S. Barry Cooper, Mariya I. Soskova, editors
المکتبة: (طهران)
موضوع: ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
16. Theory and Applications of Models of Computation
المؤلف: / T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
17. Theory and Applications of Models of Computation
المؤلف: / Manindra Agrawal, S. Barry Cooper, Angsheng Li
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
18. Theory and applications of models of computation
المؤلف: / Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity--Congresses,Computable functions--Congresses
رده :
QA
,
267
.
7
,.
T36
,
2007
